home *** CD-ROM | disk | FTP | other *** search
/ SGI Developer Toolbox 6.1 / SGI Developer Toolbox 6.1 - Disc 4.iso / src / tutorials / geometer / Theorems / constructions / conicdef.T < prev    next >
Encoding:
Text File  |  1994-08-02  |  3.7 KB  |  90 lines
  1. .geometry "version 0.1";
  2. v1 = .free(0.432065, 0.872283, .L0);
  3. v2 = .free(0.048913, -0.826087, .L0);
  4. v3 = .free(0.236413, 0.671196, .L0, "L1");
  5. v4 = .free(0.671196, 0.0326087, .cyan, .L0);
  6. l1 = .l.vv(v1, v2, .L0, .longline);
  7. l2 = .l.vv(v3, v4, .L0, .longline);
  8. v7 = .free(0.119565, 0.586957, .L0, "L2");
  9. v8 = .free(0.0298913, 0.527174, .L0, "L3");
  10. v9 = .free(-0.0788044, 0.42663, .L0, "L4");
  11. v10 = .free(-0.282609, 0.298913, .L0, "L5");
  12. v11 = .free(-0.339674, 0.00543478, .L0, "L6");
  13. v12 = .free(-0.317935, -0.122283, .L0, "L7");
  14. v13 = .free(-0.266304, -0.252717, .L0, "L8");
  15. v14 = .free(-0.217391, -0.421196, .L0, "L9");
  16. l4 = .l.vv(v7, v4, .L0, .longline);
  17. l5 = .l.vv(v4, v8, .L0, .longline);
  18. l6 = .l.vv(v9, v4, .L0, .longline);
  19. l7 = .l.vv(v4, v10, .L0, .longline);
  20. l8 = .l.vv(v11, v4, .L0, .longline);
  21. l9 = .l.vv(v4, v12, .L0, .longline);
  22. l10 = .l.vv(v13, v4, .L0, .longline);
  23. l11 = .l.vv(v4, v14, .L0, .longline);
  24. v15 = .v.ll(l1, l2, .red, .L0, .plus);
  25. v16 = .v.ll(l1, l4, .red, .L0, .plus);
  26. v17 = .v.ll(l1, l5, .red, .L0, .plus);
  27. v18 = .v.ll(l1, l6, .red, .L0, .plus);
  28. v19 = .v.ll(l1, l7, .red, .L0, .plus);
  29. v20 = .v.ll(l1, l8, .red, .L0, .plus);
  30. v21 = .v.ll(l1, l9, .red, .L0, .plus);
  31. v22 = .v.ll(l1, l10, .red, .L0, .plus);
  32. v23 = .v.ll(l1, l11, .red, .L0, .plus);
  33. v24 = .free(-0.923913, -0.0652174, .L0);
  34. l12 = .l.vv(v24, v15, .red, .L0, .longline);
  35. l13 = .l.vv(v24, v16, .red, .L0, .longline);
  36. l14 = .l.vv(v17, v24, .red, .L0, .longline);
  37. l15 = .l.vv(v24, v18, .red, .L0, .longline);
  38. l16 = .l.vv(v19, v24, .red, .L0, .longline);
  39. l17 = .l.vv(v24, v20, .red, .L0, .longline);
  40. l18 = .l.vv(v24, v21, .red, .L0, .longline);
  41. l19 = .l.vv(v24, v22, .red, .L0, .longline);
  42. l20 = .l.vv(v24, v23, .red, .L0, .longline);
  43. v25 = .free(-0.605978, 0.576087, .L0);
  44. v26 = .free(0.527174, -0.828804, .L0);
  45. l21 = .l.vv(v25, v26, .yellow, .L0, .longline);
  46. v27 = .v.ll(l21, l20, .yellow, .L0, .plus);
  47. v28 = .v.ll(l19, l21, .yellow, .L0, .plus);
  48. v29 = .v.ll(l18, l21, .yellow, .L0, .plus);
  49. v30 = .v.ll(l17, l21, .yellow, .L0, .plus);
  50. v31 = .v.ll(l16, l21, .yellow, .L0, .plus);
  51. v32 = .v.ll(l15, l21, .yellow, .L0, .plus);
  52. v33 = .v.ll(l14, l21, .yellow, .L0, .plus);
  53. v34 = .v.ll(l13, l21, .yellow, .L0, .plus);
  54. v35 = .v.ll(l12, l21, .yellow, .L0, .plus);
  55. v36 = .free(0.692935, 0.717391, .cyan, .L0);
  56. l22 = .l.vv(v36, v27, .yellow, .L0, .longline);
  57. l23 = .l.vv(v36, v28, .yellow, .L0, .longline);
  58. l24 = .l.vv(v36, v29, .yellow, .L0, .longline);
  59. l25 = .l.vv(v36, v30, .yellow, .L0, .longline);
  60. l26 = .l.vv(v36, v31, .yellow, .L0, .longline);
  61. l27 = .l.vv(v36, v32, .yellow, .L0, .longline);
  62. l28 = .l.vv(v36, v33, .yellow, .L0, .longline);
  63. l29 = .l.vv(v36, v34, .yellow, .L0, .longline);
  64. l30 = .l.vv(v36, v35, .yellow, .L0, .longline);
  65. v37 = .v.ll(l22, l11, .cyan, .L0, .plus);
  66. v38 = .v.ll(l23, l10, .cyan, .L0, .plus);
  67. v39 = .v.ll(l24, l9, .cyan, .L0, .plus);
  68. v40 = .v.ll(l25, l8, .cyan, .L0, .plus);
  69. v41 = .v.ll(l26, l7, .cyan, .L0, .plus);
  70. v42 = .v.ll(l27, l6, .cyan, .L0, .plus);
  71. v43 = .v.ll(l28, l5, .cyan, .L0, .plus);
  72. v44 = .v.ll(l30, l2, .cyan, .L0, .plus);
  73. v45 = .v.ll(l29, l4, .cyan, .L0, .plus);
  74. ccc = .conic.vvvvv(v37, v38, v39, v40, v41, .cyan);
  75. v5 = .v.ll(l1, l21, .cyan, .L0, .plus);
  76. v6 = .free(-0.105978, -0.576087, .L0, "L10");
  77. v47 = .free(-0.0326087, -0.722826, .L0, "L11");
  78. l3 = .l.vv(v6, v4, .L0, .longline);
  79. l31 = .l.vv(v47, v4, .L0, .longline);
  80. v48 = .v.ll(l3, l1, .red, .L0, .plus);
  81. v49 = .v.ll(l31, l1, .red, .L0, .plus);
  82. l32 = .l.vv(v24, v48, .red, .L0, .longline);
  83. l33 = .l.vv(v24, v49, .red, .L0, .longline);
  84. v50 = .v.ll(l21, l32, .yellow, .L0, .plus);
  85. v51 = .v.ll(l21, l33, .yellow, .L0, .plus);
  86. l34 = .l.vv(v51, v36, .yellow, .L0, .longline);
  87. l35 = .l.vv(v50, v36, .yellow, .L0, .longline);
  88. v52 = .v.ll(l3, l35, .cyan, .L0, .plus);
  89. v53 = .v.ll(l31, l34, .cyan, .L0, .plus);
  90.